ClauLex[2]